A Software Modelling Exercise Using FCA
نویسندگان
چکیده
This paper describes an exercise in object-oriented modelling where Formal Concept Analysis is applied to a formal specification case study using Object-Z. In particular, the informal description from the case study is treated as a set of use-cases from which candidate classes and objects are derived. The resulting class structure is contrasted with the existing Object-Z design and the two approaches are discussed.
منابع مشابه
Evaluation of an Approach for Teaching Formal Concept Analysis
This paper describes the evaluation of coursework set for final year degree students designed to teach Formal Concept Analysis (FCA). The usefulness of this approach is discussed with respect to its application in future iterations of the coursework. The source data was the result of a simulation between competing student teams undertaken on a mainstream ERP system provided by the business soft...
متن کاملBridging the gap between Use Case Analysis and Class Structure Design by Formal Concept Analysis
The early stages of software development are increasingly supported by objectoriented analysis and design (OOA/OOD) techniques. Recent methodologies suggest to combine Jacobson’s use case analysis with modelling techniques for class/object structure, object behaviour and process interaction. However, the choice and definition of objects and classes in the domain space is not supported by either...
متن کاملIdentifying Candidate Objects during System Analysis
Most of the well-known methods for object oriented software development share a common lack: They do not suggest suitable guidelines for the very first step of object oriented modelling, that is the identification of the objects and classes within the modelled domain. We suggest supporting this crucial analysis step by Formal Concept Analysis (FCA), a mathematical theory which tries to structur...
متن کاملCombining FCA Software and Sage
This paper discusses in how far FCA software can be combined with the computer algebra system Sage. The motivation for this paper is teaching mathematics to software engineering students using Sage and FCA which highlights differences and connections between mathematical and computational structures. Furthermore, this paper provides implementation details on how Sage’s functions for matrices, g...
متن کاملOperational Specification for FCA using Z
We present an outline of a process by which operational software requirements specifications can be written for Formal Concept Analysis (FCA). The Z notation is used to specify the FCA model and the formal operations on it. We posit a novel approach whereby key features of Z and FCA can be integrated and put to work in contemporary software development, thus promoting operational specification ...
متن کامل